يكون اللازم قد وجد ؛ وإذا ارتفع اللازم ، يكون الملزوم قد ارتفع . ولا يستثنى نقيض المقدّم ولا عين التالي ، فانّه قد يكون « 1 » التالي اعمّ من المقدّم ، كقولنا « 2 » « ان كان هذا سوادا فهو لون . » فلا يلزم من رفع الاخصّ وكذبه رفع الاعمّ وكذبه . ولا من وضع الاعمّ وصدقه وضع الاخصّ وصدقه ، بل انّما يلزم من وضع الاخصّ وصدقه وضع الاعمّ وصدقه ، ومن رفع الاعمّ وكذبه رفع الاخصّ وكذبه . وان كان الربط بين الحمليّتين « 3 » بعناد يسمّى شرطيّة منفصلة ، كقولنا « امّا ان « 4 » يكون هذا العدد زوجا وامّا ان يكون فردا » ويجوز ان يكون اجزاؤها أكثر من اثنين . والحقيقيّة هي التي لا يمكن اجتماع اجزائها ولا الخلوّ « 5 » عن اجزائها . وان أريد ان يجعل منها قياس ، يستثنى فيها عين ما يتّفق ، فيلزم نقيض ما بقي - كان واحدا أو أكثر - « 6 » أو نقيض ما يتّفق فيلزم عين ما بقي . وان كانت ذات اجزاء كثيرة واستثنى نقيض واحد ، فيبقى منفصلة في الباقي . وقد يتركّب « 7 » متّصلة « 8 » من متّصلتين كقولهم « ان كان كلّما كانت الشمس طالعة فالنهار موجود ، فكلّما « 9 » كانت الشمس غاربة فالليل موجود . » وقد يتركّب « 10 » منهما منفصلة كقولنا « امّا ان يكون إذا كانت الشمس طالعة فالنهار موجود ، وامّا ان يكون إذا كانت الشمس غاربة « 11 » فالليل موجود . » والتصرّفات « 12 » كثيرة .

--> ( 1 ) يكون التالي : يكون عين التالي HR ( 2 ) كقولنا TMF : كقولك HERI ( 3 ) الحمليتين HMFIz : الجملتين TR حمليتين E ( 4 ) اما ان . . . فردا HERI : هذا العدد اما زوج واما فرد TMF ( 5 ) الخلو : تخلو T ( 6 ) كان واحدا أو أكثر TMF - : HERI ( 7 ) يتركب : تركب HI ( 8 ) متصلة : منفصلة T ( 9 ) فكلما : وكلما M ( 10 ) يتركب : تركب H ( 11 ) غاربة TMI : غير طالعة R طالعة HEF وله وجه ( 12 ) والتصرفات : + فيه T